<HTML><HEAD><TITLE>locate(+Vars, ++Precision)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>locate(+Vars, ++Precision)</H1>
Locate solution intervals for Vars by splitting and search.
<DL>
<DT><EM>Vars</EM></DT>
<DD>Collection (a la collection_to_list/2) of variables
</DD>
<DT><EM>Precision</EM></DT>
<DD>Minimum required precision (float)
</DD>
</DL>
<H2>Description</H2>
<P>
   Locate solution intervals for the given variables with the required
   precision.  This works well if the problem has a finite number of
   solutions.  locate/2,3 work by nondeterministically splitting the
   intervals of the variables until they are narrower than Precision (in
   either absolute or relative terms).</P><P>

   locate/2 is defined in terms of locate/3 as follows:
    <PRE>
    locate(Vars, Precision) :- locate(Vars, Precision, log).
    </PRE></P>

<H2>See Also</H2>
<A HREF="../../lib/ic/locate-3.html">locate / 3</A>, <A HREF="../../lib/ic/locate-4.html">locate / 4</A>, <A HREF="../../lib/ic/squash-3.html">squash / 3</A>, <A HREF="../../lib/lists/collection_to_list-2.html">lists : collection_to_list / 2</A>
</BODY></HTML>
